top_command (cmd_load currentFile [])
top_command (cmd_infer_toplevel Instantiated "F")
top_command (cmd_infer_toplevel Instantiated "G")
